A Categorical Model of Array Domains Ga � etan
نویسنده
چکیده
We apply the theory of generalised concrete data structures or gCDSs to construct a cartesian closed category of concrete array structures with explicit data layout The technical novelty is the array gCDS preserved by exponentiation whose isomorphisms relate higher order objects to their local parts This work is part of our search of semantic foundations for data parallel functional programming
منابع مشابه
Optimization of Array Factor in Linear Arrays Using Modified Genetic Algorithm
The array factor (sidelobe level, SLL) of a linear array is optimized using modified continuous genetic algorithms in this work. The amplitudes and phases of the currents as well as the separation of the antennas are all taken as variables to be controlled. The results of the design using modified GA versions are compared with other methods. Two design problems were studied using several contin...
متن کاملA genetic algorithm approach for open-pit mine production scheduling
In an Open-Pit Production Scheduling (OPPS) problem, the goal is to determine the mining sequence of an orebody as a block model. In this article, linear programing formulation is used to aim this goal. OPPS problem is known as an NP-hard problem, so an exact mathematical model cannot be applied to solve in the real state. Genetic Algorithm (GA) is a well-known member of evolutionary algorithms...
متن کاملSci and Distributed Multithreading : the Pm 2 Approach 2 Ii
1 SCI and distributed multithreading : the PM2 approach Gaetan Scotto Di Apollonia, Jean-Fran cois M ehaut, Raymond Namyst and Yves Denneulin Keywords| Multithreading, Distributed environments, Programming models, Low-level AP
متن کاملTumor necrosis factor-alpha antagonist etanercept decreases blood pressure and protects the kidney in a mouse model of systemic lupus erythematosus.
Chronic inflammation has been implicated in the pathology of hypertension; however, the role for specific cytokines remains unclear. We tested whether tumor necrosis factor-α blockade with etanercept (Etan) reduces mean arterial pressure in a female mouse model of systemic lupus erythematosus (SLE). SLE is a chronic inflammatory disorder with prevalent hypertension. Thirty-week-old SLE (NZBWF1)...
متن کاملApplication of truncated gaussian simulation to ore-waste boundary modeling of Golgohar iron deposit
Truncated Gaussian Simulation (TGS) is a well-known method to generate realizations of the ore domains located in a spatial sequence. In geostatistical framework geological domains are normally utilized for stationary assumption. The ability to measure the uncertainty in the exact locations of the boundaries among different geological units is a common challenge for practitioners. As a simple a...
متن کامل